Existence and Uniqueness of Normal Forms in Pure Type Systems with -conversion
نویسنده
چکیده
منابع مشابه
Existence and uniqueness of the solution of fuzzy-valued integral equations of mixed type
In this paper, existence theorems for the fuzzy Volterra-Fredholm integral equations of mixed type (FVFIEMT) involving fuzzy number valued mappings have been investigated. Then, by using Banach's contraction principle, sufficient conditions for the existence of a unique solution of FVFIEMT are given. Finally, illustrative examples are presented to validate the obtained results.
متن کاملExistence and uniqueness of weak solutions for a class of nonlinear divergence type diffusion equations
In this paper, we study the Neumann boundary value problem of a class of nonlinear divergence type diffusion equations. By a priori estimates, difference and variation techniques, we establish the existence and uniqueness of weak solutions of this problem.
متن کاملOn existence and uniqueness of solutions of a nonlinear Volterra-Fredholm integral equation
In this paper we investigate the existence and uniqueness for Volterra-Fredholm type integral equations and extension of this type of integral equations. The result is obtained by using the coupled fixed point theorems in the framework of Banach space $ X=C([a,b],mathbb{R})$. Finally, we give an example to illustrate the applications of our results.
متن کاملPreparation of Lanthanum–Nickel–Aluminium Perovskite Systems and their Application in Methane-Reforming Reactions
In this study we developed LaNixAl1-xO3 perovskite systems using a sol-gelmethod (with propionic acid as solvent) to use in methane-reforming reactions for producing synthesis gas. To understand the roles of the nature of the precursor and calcination conditions on the formation of LaNixAl1-xO3, we carried out identifications using NMR, FT-IR, XRD, SEM, and TEM. The precursor struc...
متن کاملExistence and uniqueness of the solution of nonlinear fuzzy Volterra integral equations
In this paper the fixed point theorem of Schauder is used to prove the existence of a continuous solution of the nonlinear fuzzy Volterra integral equations. Then using some conditions the uniqueness of the solution is investigated.
متن کامل